Merge branch 'bin-removal' into 'master'
authorMatthias Clasen <mclasen@redhat.com>
Tue, 5 May 2020 12:55:50 +0000 (12:55 +0000)
committerMatthias Clasen <mclasen@redhat.com>
Tue, 5 May 2020 12:55:50 +0000 (12:55 +0000)
Bin removal

See merge request GNOME/gtk!1820


Trivial merge